Efficient solution techniques for disjunctive temporal reasoning problems
نویسندگان
چکیده
منابع مشابه
Efficient solution techniques for disjunctive temporal reasoning problems
Over the past few years, a new constraint-based formalism for temporal reasoning has been developed to represent and reason about Disjunctive Temporal Problems (DTPs). The class of DTPs is significantly more expressive than other problems previously studied in constraintbased temporal reasoning. In this paper we present a new algorithm for DTP solving, called Epilitis, which integrates strategi...
متن کاملReasoning with Disjunctive Fuzzy Temporal Constraint Networks
The Disjunctive Fuzzy Temporal Constraint Network (DFTCN) model is a framework that allows reasoning with fuzzy qualitative and quantitative complex temporal constraints. However, its general complexity is exponential. In this work, we review methods that can reduce this complexity, based on graph topology and preprocessing. The final goal is to integrate all these methods into a general tool f...
متن کاملRepresentation and Reasoning with Disjunctive Temporal Constraints
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to manage disjunctive assertions, conjunctive and hypothetical queries, and one-to-many constraints. Additionally, it becomes an adequate support for reasoning on costs associated to constraints.
متن کاملHierarchical Knowledge Bases and Efficient Disjunctive Reasoning
We combine ideas from relation-based data management with class hierarchies to obtain Hierarchical Knowledge Bases, which have greater expressive power while maintaining the beneets of predictable and eecient information processing. We then consider the problem of reasoning with certain limited forms of disjunctive information. We show that hierarchical knowledge bases can be used for eecient a...
متن کاملParallel Solution of Disjunctive Minlp Problems
This system combines the demands of process engineering optimization problems with the potential CPU-power of the computers connected to the Internet. The system is capable of using an arbitrary number of computers connected to the Internet for distributed solution of rigorous industrial optimization problems.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2003
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(03)00113-9